Minds, Machines and Gödel